Visualization Techniques for Topic Model Checking

نویسندگان

  • Jaimie Murdock
  • Colin Allen
چکیده

Topic models remain a black box both for modelers and for end users in many respects. From the modelers’ perspective, many decisions must be made which lack clear rationales and whose interactions are unclear – for example, how many topics the algorithms should find (K), which words to ignore (aka the “stop list”), and whether it is adequate to run the modeling process once or multiple times, producing different results due to the algorithms that approximate the Bayesian priors. Furthermore, the results of different parameter settings are hard to analyze, summarize, and visualize, making model comparison difficult. From the end users’ perspective, it is hard to understand why the models perform as they do, and information-theoretic similarity measures do not fully align with humanistic interpretation of the topics. We present the Topic Explorer, which advances the state-of-theart in topic model visualization for document-document and topic-document relations. It brings topic models to life in a way that fosters deep understanding of both corpus and models, allowing users to generate interpretive hypotheses and to suggest further experiments. Such tools are an essential step toward assessing whether topic modeling is a suitable technique for AI and cognitive modeling applications.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Reachability checking in complex and concurrent software systems using intelligent search methods

Software system verification is an efficient technique for ensuring the correctness of a software product, especially in safety-critical systems in which a small bug may have disastrous consequences. The goal of software verification is to ensure that the product fulfills the requirements. Studies show that the cost of finding and fixing errors in design time is less than finding and fixing the...

متن کامل

An ontology of 3D visualization techniques for enriched 3D city models

Models, which represent in 3 dimensions the geometric elements of a city, are called 3D city models. Those models are used for an intended wide range of applications beyond mere visualization. Such uses are made possible by enriching the geometrical aspects with urban or environmental data that cannot be perceptible to a user without a visual abstraction. Using such models implies interacting w...

متن کامل

Master Thesis Model Checking of Behavior Protocols

In the last years, formal verification has received a proper attention because computer applications get more and more liability in human society. The most important problem is the big a size of checked system that it doesn’t fit into memory, this problem is usually called state explosion. In the thesis, there is suggested a new, memory efficient automata representation based on behavior protoc...

متن کامل

Design of Air Distribution System for Operation Theatre Using Flow Visualization Techniques to Improve Flow Characteristics

Operation Theatre (OT) is the most important area where precise controlled on indoor air quality is required because it is directly related to patient health and its recovery period. This work aims to study and visualize the airflow distribution of conventional flat air diffuser ventilation system and newly designed angular air ventilation system in OT. Angular Air Distribution (AAD) system is ...

متن کامل

Verifying Sequential Behavior with Model Checking

The design of state-of-the-art digital circuits often involves interacting state machines with very complex control flow. As consequence functional verification of sequential designs is becoming a major bottleneck in the design process. Model checking techniques, the topic of this tutorial, promise to speed up verification time by checking high level temporal properties. Model checking is best ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2015